Restricted Delegation: Seamlessly Spanning Administrative Boundaries

Historically and currently, access control and authentication is managed through ACLs. Examples include: • the list of users in /etc/password, the NIS passwd map, or an NT domain • permissions on Unix files or ACLs on NT objects • a list of known hosts in .ssh/known hosts • a list of IP addresses in .rhosts (for rsh) or .htaccess (http) The limitations of ACLs always cause problems when spanning administrative domains (and often even inside administrative domains). The best example is the inability to express transitive sharing. Alice shares read access to object X with Bob (but not access to X’s ACL), and Bob wants to share some of it with Charlie. Bob can share all of it by giving up his identity. He can share part of it by copying it or acting as an “access oracle” to X. All three mechanisms, however, undermine the underlying security model

Hey, You Got Your Language In My Operating System!

Several projects in the operating systems research community suggest a trend of convergence among features once divided between operating systems and languages. We describe how partial evaluation and transformational programming systems apply to this trend by providing a general framework for application support, from compilation to run-time services. We contend that the community will no longer think of implementing a static collection of services and calling it an operating system; instead, this general framework will allow applications to be flexibly configured, and the ``operating system\u27\u27 will simply be the application support that is supplied at run-time

Snowflake: Spanning administrative domains

Many distributed systems provide a ``single-system image\u27\u27 to their users, so the user has the illusion that they are using a single system when in fact they are using many distributed resources. It is a powerful abstraction that helps users to manage the complexity of using distributed resources. The goal of the Snowflake project is to discover how single-system images can be made to span administrative domains. Our current prototype organizes resources in namespaces and distributes them using Java Remote Method Invocation. Challenging issues include how much flexibility should be built into the namespace interface, and how transparent the network and persistent storage should be. We outline future work on making Snowflake administrator-friendly

Comparative Growth and Survival of Juvenile Atlantic Cod (Gadus morhua)Cultured in Copper and Nylon Net Pens

Bio-fouling on net pens has been a major concern for the marine aquaculture industry. As cage systems increase in size, so does the surface area for the attachment of colonial organisms that create drag on the net, reduce water flow important to fish health, and increase operational expenses due to net cleaning. To solve this problem, the International Copper Association (ICA) has been developing copper alloy netting for sea cages. Copper netting has unique properties that minimize bio-fouling, reduce the risk of fish escapement, prevent predators from entering the net pen, and is recyclable. To test the alloy netting, an experiment was conducted to compare juvenile cod cultured in traditional nylon nets with cod grown in Seawire copper netting ([email protected]). Six, 0.78 m3 cages were each stocked with 200 Atlantic cod (Gadus morhua) averaging 29 ± 2.2 g and grown for 4 months in coastal waters of New Hampshire, USA. Results of the study indicated no significant differences in cod growth, survival, feed conversion ratio (FCR), specific growth rate (SGR), or Fulton’s condition factor (K) between the fish grown in the copper alloy and nylon nets. A chemical analysis was conducted on the cod and indicated no differences in copper levels in muscle, liver and gill tissues taken from the net treatments. Nylon nets with antifouling paint accumulated significantly more bio-fouling than the copper nets. Materials that were in direct contact with the copper netting (plastic cable ties) fouled heavily with hydroids indicating minimal leaching to the environment. This study describes some of the beneficial attributes of copper netting, however future studies need to be conducted over a longer period of time, on a larger scale, and in a more energetic environment to definitively test the utility of this new product

Leaf: Modularity for Temporary Sharing in Separation Logic (Extended Version)

In concurrent verification, separation logic provides a strong story for handling both resources that are owned exclusively and resources that are shared persistently (i.e., forever). However, the situation is more complicated for temporarily shared state, where state might be shared and then later reclaimed as exclusive. We believe that a framework for temporarily-shared state should meet two key goals not adequately met by existing techniques. One, it should allow and encourage users to verify new sharing strategies. Two, it should provide an abstraction where users manipulate shared state in a way agnostic to the means with which it is shared. We present Leaf, a library in the Iris separation logic which accomplishes both of these goals by introducing a novel operator, which we call guarding, that allows one proposition to represent a shared version of another. We demonstrate that Leaf meets these two goals through a modular case study: we verify a reader-writer lock that supports shared state, and a hash table built on top of it that uses shared state

GALEX and Optical Light Curves of WX LMi, SDSSJ103100.5+202832.2 and SDSSJ121209.31+013627.7

{\it GALEX} near ultraviolet (NUV) and far-ultraviolet (FUV) light curves of three extremely low accretion rate polars show distinct modulations in their UV light curves. While these three systems have a range of magnetic fields from 13 to 70 MG, and of late type secondaries (including a likely brown dwarf in SDSSJ121209.31+013627.7), the accretion rates are similar, and the UV observations imply some mechanism is operating to create enhanced emission zones on the white dwarf. The UV variations match in phase to the two magnetic poles viewed in the optical in WX LMi and to the single poles evident in the optical in SDSSJ1212109.31+013627.7 and SDSSJ103100.55+202832.2. Simple spot models of the UV light curves show that if hot spots are responsible for the UV variations, the temperatures are on the order of 10,000-14,000K. For the single pole systems, the size of the FUV spot must be smaller than the NUV and in all cases, the geometry is likely more complicated than a simple circular spot.Comment: 29 pages, 4 tables, 10 figures, Astrophysical Journal, accepte

A Framework for Risk Analysis of Earth Dams

This purpose of this thesis is to present in a logical and straightforward manner, the types of probabilistic, deterministic and judgment methods which should be part f a risk analysis process for earth dam planning, design, construction and operation. In doing this, an attempt was made to include all of the elements (components of the risk analysis procedure defined herein) which were considered to be important. Descriptions of these elements as well as how they are used to estimate probabilities for the occurrence of each of three failure conditions (i.e. no failure, partial failure, complete failure) are also presented. Explanations are given as to how these failure probabilities can be used in estimating the consequences resulting from the failure of an earth dam. The potential use of the failure probabilities in conjunction with estimated consequences in decision making related to all phases of a dam project as well as land use planning near the dam are discussed. The possibility of performing a care study using the data base of Soldier Creek Dam, a project of the Water and Power Resources Service, is also presented

SN Hunt 248: a super-Eddington outburst from a massive cool hypergiant

We present photometric and spectroscopic observations of SN Hunt 248, a new supernova (SN) impostor in NGC 5806, which began a multi-stage outburst in 2014 May. The initial '2014a' discovery brightening exhibited an absolute magnitude of M~-12 and the spectral characteristics of a cool dense outflow, including P-Cygni lines of Fe II, H I, Na I, and strong line blanketing from metals. The source rapidly climbed and peaked near M~-15 mag after two additional weeks. During this bright '2014b' phase the spectrum became dominated by Balmer emission and a stronger blue continuum, similar to the SN impostor SN 1997bs. Archival images from the Hubble Space Telescope between 1997 and 2005 reveal a luminous (4e5 Lsun) variable precursor star. Its location on the Hertzsprung-Russell diagram is consistent with a massive (M_init~30 Msun) cool hypergiant having an extremely dense wind and an Eddington ratio just below unity. At the onset of the recent 2014a brightening, however, the object became super-Eddington. The subsequent boost in luminosity during the 2014b phase probably resulted from circumstellar interaction. SN Hunt 248 provides the first case of a cool hypergiant undergoing a giant eruption reminiscent of outbursts from luminous blue variable (LBV) stars. This lends support to the hypothesis that some cool hypergiants, such as Rho Cas, could be LBVs masquerading under a pseudo-photosphere created by their extremely dense winds. Moreover, SN Hunt 248 demonstrates that eruptions stemming from such stars can rival in peak luminosity the giant outbursts of much more massive systems like Eta Car.Comment: Accepted to MNRAS on 2014 Dec 1. Post-proof version. 14 pages, 9 figure

Photometric Variability in Kepler Target Stars: The Sun Among Stars -- A First Look

The Kepler mission provides an exciting opportunity to study the lightcurves of stars with unprecedented precision and continuity of coverage. This is the first look at a large sample of stars with photometric data of a quality that has heretofore been only available for our Sun. It provides the first opportunity to compare the irradiance variations of our Sun to a large cohort of stars ranging from vary similar to rather different stellar properties, at a wide variety of ages. Although Kepler data is in an early phase of maturity, and we only analyze the first month of coverage, it is sufficient to garner the first meaningful measurements of our Sun's variability in the context of a large cohort of main sequence stars in the solar neighborhood. We find that nearly half of the full sample is more active than the active Sun, although most of them are not more than twice as active. The active fraction is closer to a third for the stars most similar to the Sun, and rises to well more than half for stars cooler than mid K spectral types.Comment: 13 pages, 4 figures, accepted to ApJ Letter